trivially true conditional

[数] 平凡真条件的